MODULE Proced2;

FROM Terminal IMPORT WriteString, WriteInt;

PROCEDURE PrintDataOut(Puppy, Kitten : INTEGER;
                       Puppy, Cat : CHAR);
BEGIN
   WriteString("The value of Puppy is     ");
   WriteInt(Puppy,5);
END PrintDataOut;
    
END Proced2.